441. Threshold logic & its applications

پدیدآورنده :

کتابخانه: (طهران)

موضوع : THRESHOLD LOGIC , LINEAR PROGRAMMING , SWITCHING THEORY

رده :
QA
401
.
M85

442. Towards a design flow for reversible logic

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Computer logic,، Computer architecture,، Logic programming

رده :
QA
76
.
9
.
L63
W55
2010

443. Towards a design flow for reversible logic

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer logic. ; Computer architecture. ; Logic programming. ; Reversible computing. ;

444. Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on )Trans( Actions and Change in Logic Programming and Deductive Databases, )DYNAMICS'97(, Port...Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Deductive databases,Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
1472

445. Trends in Functional Programming

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامه‌های کامپیوتری -- کنگره ها ,ساختار داده‌ها -- کنگره ها

رده :
QA
76
.
62
.
T7
2015
E-Book
,

446. Trends in functional programming :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)

رده :
QA76
.
62
.
I58
2018

447. Trends in functional programming :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.

رده :
QA76
.
62

448. Trends in functional programming :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
62

449. Truth, deduction, and computation

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing

رده :
QA76
.
7
.
D386
1989

450. Uncertainty treatment using paraconsistent logic

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)

موضوع : Neural networks (Computer science),Uncertainty (Information theory),Logic programming,Inconsistency (Logic),Artificial intelligence

رده :
QA
,
76
.
87
,.
S57
,
2010

451. Uncertainty treatment using paraconsistent logic: introducing paraconsistent artificial neural networks

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Neural networks )Computer science(,، Uncertainty )Information theory(,، Logic programming,، Inconsistency )Logic(,، Artificial intelligence

رده :
QA
76
.
87
.
S57
2010

452. VHDL Coding and Logic Synthesis with Synopsys

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Vhdl (Computer Hardware Description Language) ; Logic Programming. ;

453. Web Reasoning and Rule Systems

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Semantic Web -- Congresses.,Rule-based programming -- Congresses.,Logic programming -- Congresses.,وب معناشناختی-- کنگره‌ها ,برنامه‌نویسی مبتنی بر قواعد -- کنگره ها ,برنامه‌نویسی منطقی -- کنگره‌ها

رده :
TK
5105
.
88815
.
W4
2015
E-Book
,

454. Web reasoning and rule systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses

رده :
TK5105
.
88815
.
R8
2012eb

455. Why prolog?: justifying logic programming for practical applications

پدیدآورنده :

موضوع : Prolg(Computer program language),Logic programming

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

456. Zur Logik der Logik-Programmierung :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic programming.,Logische Programmierung.

رده :
QA76
.
63
C546
1988

457. Zur Logik der Logik-Programmierung : ein Konstruktiver Ansatz

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic programming

رده :
QA
76
.
63
.
B43
1988

458. based program synthesis and transformation :-Logic

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic programming ; Congresses ;

459. <4=foure> Th UK conference on logic programming

پدیدآورنده :

کتابخانه: (کرمان)

موضوع : Logic programming

رده :
QA
76
.
663
.
P7
1993

460. logic program synthesis and transformation

پدیدآورنده :

موضوع : Logic programming

۲ نسخه از این کتاب در ۱ کتابخانه موجود است.